Tidy evtchn keyhandler a little

Get rid of all the -1s and label the pending and masked columns.

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>

diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c
index 9c2731788a8a7f3977b58733f4dfd5b6712f4536..58be1729b0ea355dd9dc8f15e9f086ce85200e50 100644 (file)
--- a/xen/common/event_channel.c
+++ b/xen/common/event_channel.c
@@ -1080,8 +1080,8 @@ static void domain_dump_evtchn_info(struct domain *d)
     if ( !spin_trylock(&d->event_lock) )
         return;
 
-    printk("Event channel information for domain %d:\n",
-           d->domain_id);
+    printk("Event channel information for domain %d:\n"
+           "    port [p/m]\n", d->domain_id);
 
     for ( port = 1; port < MAX_EVTCHNS(d); ++port )
     {
@@ -1093,10 +1093,10 @@ static void domain_dump_evtchn_info(struct domain *d)
         if ( chn->state == ECS_FREE )
             continue;
 
-        printk("    %4u[%d/%d]: s=%d n=%d",
+        printk("    %4u [%d/%d]: s=%d n=%d",
                port,
-               test_bit(port, &shared_info(d, evtchn_pending)),
-               test_bit(port, &shared_info(d, evtchn_mask)),
+               !!test_bit(port, &shared_info(d, evtchn_pending)),
+               !!test_bit(port, &shared_info(d, evtchn_mask)),
                chn->state, chn->notify_vcpu_id);
         switch ( chn->state )
         {